（来源：上观新闻）
图丨自上💟而下的规约生成新🇲🇴范式（来源：a🇨🇻🕝rXi🐢🇱🇻v） ↪🇨🇼在推理过程的📋可靠性方面，研究🐌团队并不是💷直接让 L🇼🇸🏌️♀️LM 判断🏴🤦♀️代码是🤗否正确，而是将🔋🌏思维链（Chai😿n of Th🇨🇵ought📣🎪）与霍尔逻辑🏕的推理规则相结合🧙♀️🦒，引导 LLM 🛢👨🎓逐步推💐🌌导每个☯代码块执💇行后程序状态所满🕵足的性质，🗾最终检查程序状🤢🗯态是否符💠🕌合“说明书”🤧🇦🇽的要求💳。
“我们前后为荣耀🧚♀️🕊团队做了五次产🀄品迭代👩🦲🔏。Q：这个问题❣可能显而易见，但🇵🇹我们多🚣👨👨👧👦年来一直处于GP🛥🔚U短缺的状态，🇹🇱现在随着模型的🇩🇲进步，😪⚰供需缺🏙🕐口似乎更大📎🖱了🚊。
